Programming language implementation - PDFSEARCH.IO - Document Search Engine

Programming language implementation
Results: 1978

#	Item
401	Parallel Matlab Based on Telescoping Languages and Data Parallel Compilation Ken Kennedy Rice University Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2005-11-16 01:39:48 Array programming languages Numerical linear algebra Compiler Compiler construction MATLAB Ken Kennedy Software Computing Programming language implementation
402	ExecRecorder: VM-Based Full-System Replay for Attack Analysis and System Recovery Daniela A. S. de Oliveira S. Felix Wu Jedidiah R. Crandall Add to Reading List Source URL: seclab.cs.ucdavis.edu Language: English - Date: 2007-02-21 19:48:12 Virtual machines Programming language implementation Replication Hyper-V Oracle Database Hypervisor Operating system VM Windows Software System software Cross-platform software
403	RM-PICC Reference Manual 750 Naples Street • Add to Reading List Source URL: www.pumpkininc.com Language: English - Date: 2011-09-12 15:59:06 Procedural programming languages Programming language implementation Compiler construction Compilers Library PIC microcontroller Compiler Objective-C Linker Computing Software engineering Computer programming
404	StackAnalyzer for ERC32 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:29 Compiler construction Compilers ERC32 Call graph GNU Compiler Collection Compiler GNAT Linux Software Computing Programming language implementation
405	An LLVM Backend for OCaml Colin Benner June 7, Introduction As part of my bachelor thesis I have implemented a new backend for the OCaml nativecode compiler ocamlopt for the AMD64 architecture. It uses the Low Lev Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:14 Compilers Compiler construction Functional languages Procedural programming languages LLVM Programming language implementation OCaml Compiler Static single assignment form Software engineering Computing Computer programming
406	Fast and Accurate Shift-Reduce Constituent Parsing Muhua Zhu† , Yue Zhang‡ , Wenliang Chen∗ , Min Zhang∗ and Jingbo Zhu† † Natural Language Processing Lab., Northeastern University, China ‡ Singapore Univer Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2013-07-25 09:24:47 Compiler construction Bottom-up parsing Parsing Parser generators Chart parser Treebank Statistical parsing Natural language processing GOLD Linguistics Computational linguistics Programming language implementation
407	ACSL Version 1.8 Implementation in Neon ACSL: ANSI/ISO C Specication Language Version 1.8 Neon Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:15 Data types Pointer C Predicate Logic programming Pascal Dangling pointer Software engineering Computing Computer programming
408	The Fast Lexical Analyser Generator c Copyright 1998–2015 by Gerwin Klein, Steve Rowe, and R´egis D´ecamps. JFlex User’s Manual Add to Reading List Source URL: www.jflex.de Language: English - Date: 2015-04-20 16:58:38 Compiler construction Parsing Programming language implementation Cross-platform software Parser generators Lexical analysis Compiler-compiler Lex Compiler Computing Software engineering Software
409	Three Implementation Models for Scheme by R. Kent Dybvig A dissertation submitted to the faculty of the University of North Carolina at Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2002-10-27 22:32:08 Subroutines Control flow Recursion Scheme programming language Procedural programming languages Continuation Closure Scheme Tail call Software engineering Computing Computer programming
410	New Trends in the Optimization of C-Code Caspar Gries January 11, 2009 Abstract Despite all of the recent progress concerning the tools and techniques of Software Add to Reading List Source URL: www.verifysoft.com Language: English - Date: 2011-01-03 03:00:47 Compiler optimizations Compiler construction Compilers Program optimization Software optimization Mathematical optimization Compiler Inline expansion GNU Compiler Collection Computing Software Programming language implementation

UPDATE